$\forall$$g$, $h$:GrpSig, $f$:MonHom($g$,$h$), $b$:$\mathbb{B}$, $p$:$\mid$$g$$\mid$. (when $b$. ($f$($p$))) = $f$(when $b$. $p$) $\in$ $\mid$$h$$\mid$